"Ahmed Bouajjani" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Lecture ... Programming and Software Engineering)

Автор: Ahmed Bouajjani, Автор: Wei-Ngan Chin

Категория: Техника

Размер книги: 6.00 Mb

Computer Aided Verification, 21 conf., CAV 2009

Автор: Ahmed Bouajjani, Автор: Oded Maler

Категория: CsLn_

Размер книги: 13.29 Mb